✅ Property Testing - hello · Scour

Etna: An Evaluation Platform for Property-Based Testing 🧬Mutation Testing

arxiv.org·2d·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧮SMT Solvers

goedelcodeprover.github.io·6d·Hacker News·

What Would You See Changed in Haskell? 📐Type Theory

blog.haskell.org·15h·Lobsters, Hacker News·

SQL-first code generator for PostgreSQL (Haskell, Rust, Java) 🐘Pgx

pgenie.io·4h·Lobsters·

Formal Verification in Any Language for Everybody ✓Formal Verification

dev-log.me·1d·Hacker News·

[Side B] Pursuing OSS Quality Assurance with AI: Achieving 369 Tests, 97% Coverage, and GIL-Free Compatibility 🧪Jepsen Testing

dev.to·14h·DEV·

NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification 🎭Program Synthesis

github.com·5d·Hacker News·

Meta's new structured prompting technique makes LLMs significantly better at code review — boosting accuracy to 93% in some cases 🚀MLOps

venturebeat.com·1d·

WybeCoder: Verified Imperative Code Generation 🏗️Pavex

arxiv.org·1d·

A Couple Million Lines of Haskell: Production Engineering at Mercury 🎯Escape Analysis

blog.haskell.org·3d·Lobsters, Hacker News, r/programming·

Why I Stopped Mocking 2FA in Tests (And What I Do Instead) 🧬Mutation Testing

dev.to·1d·DEV·

evointel-whitepaper/open-letter-to-anthropic.md at main · evo-hydra/evointel-whitepaper 🎭Program Synthesis

github.com·2d·Hacker News·

UCAgent: An End-to-End Agent for Block-Level Functional Verification 📐TLA+

arxiv.org·3d·

StepCache: Step-Level Reuse with Lightweight Verification and Selective Patching for LLM Serving 🎴TAO

arxiv.org·1d·

Multi-target Coverage-based Greybox Fuzzing 🐛Fuzzing

arxiv.org·6d·

Sal: Multi-modal Verification of Replicated Data Types 🔄CRDT

arxiv.org·2d·

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology 🔬Static Analysis

arxiv.org·2d·

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra 🧮SMT Solvers

arxiv.org·1d·

Noise Inference by Recycling Test Rounds in Verification Protocols ✅Model Checking

arxiv.org·1d·

Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos 🔍DTrace

arxiv.org·1d·

Loading more...